Constraint Catalog
sofdem.github.io·5h
🧩Theorem Proving
Machine learning by satisfiability solving
johndcook.com·14h
📈Complexity Theory
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
🔢Mathematical Logic
Solving Dispatch in a Ridesharing Problem Space
eng.lyft.com·14h
📈Complexity Theory
399. Evaluate Division
dev.to·2d·
Discuss: DEV
🔢Mathematical Logic
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
🔧Compiler Design
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
The Comprehensive Guide to Knowledge Graphs
agilelab.it·1h·
Discuss: Hacker News
🕸️Graph Theory
Understanding Budget Planning: A Step-by-Step Definition
smallbiztrends.com·11h
💭Prolog
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
📈Complexity Theory
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·3d
⚖Algorithmic Game Theory
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
🔢Mathematical Logic
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·15h
🎲Probabilistic Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
🧮Programming Language Theory
Tractable Responsibility Measures for Ontology-Mediated Query Answering
arxiv.org·3h
🔗Parser Combinators
Cross-datasource JOIN：SPL Lightweight Multisource Mixed Computation Practice #6
dev.to·1h·
Discuss: DEV
🗄️Database Theory
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·56m·
Discuss: DEV
🔍Static Analysis
Linkage from Montreal
11011110.github.io·17h
📈Complexity Theory
LFCS Seminar: Tuesday 28 October: Patrick Totzke
informatics.ed.ac.uk·17h
📈Complexity Theory
Building Digital Twins for AI Agents
materialize.com·2d
🌍Distributed Systems